DupHyp (6) 
\\[0ex]THEN (GuardBody ({-}1) 
\\[0ex]THEN InstGenHypByAddr ({-}1) [] [!ml\_var(bs), $v_{1}$]) THENA (Auto') 
\\[0ex]THEN ml\_nth\_hyp(({-}1))